Μ operator

Results: 274



#Item
91Functions and mappings / Mixin / Applied mathematics / Lambda calculus / Function / Μ operator / Calculus / Mathematics / Mathematical logic / Computability theory

Mixin modules in a call-by-value setting Tom Hirschowitz and Xavier Leroy INRIA Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France {Tom.Hirschowitz,Xavier.Leroy}@inria.fr Abstract. The ML module system

Add to Reading List

Source URL: pauillac.inria.fr

Language: English - Date: 2003-05-25 10:55:37
92Model theory / Μ operator / Golden ratio base / Mathematics / Mathematical analysis / Algebra

Fibred products of number systems Christiaan van de Woestijne Lehrstuhl f¨ ur Mathematik und Statistik Montanuniversit¨ at Leoben, Austria

Add to Reading List

Source URL: www.cant.ulg.ac.be

Language: English - Date: 2011-06-14 07:10:29
93Critical mass / Μ operator / Symbol / Nuclear technology / Physics / Geometric and material buckling

Design Requirements and Engineering Considerations

Add to Reading List

Source URL: www.nuceng.ca

Language: English - Date: 2015-01-26 12:58:21
94Logic / Symbol / Structure / Interpretation / Linear temporal logic / Μ operator / Model theory / Mathematical logic / Mathematics

Really Natural Linear Indexed Type Checking Arthur Azevedo de Amorim Marco Gaboardi Emilio Jesús Gallego Arias

Add to Reading List

Source URL: ifl2014.github.io

Language: English - Date: 2015-03-04 15:20:42
95Robot / Μ operator

Sloppy motors, flaky sensors, and virtual dirt: Comparing imperfect ill-informed robots Jason M. O’Kane and Steven M. LaValle Abstract— Robots must complete their tasks in spite of unreliable actuators and limited, n

Add to Reading List

Source URL: msl.cs.uiuc.edu

Language: English - Date: 2007-01-30 15:41:53
96Entropy / Information / Linear temporal logic / Μ operator / Information theory / Symbol / Constructible universe

Int. J. Systems Sci., 1970, vol. 1, No. 2, [removed]EVERY GOOD REGULATOR OF A SYSTEM MUST BE A MODEL OF THAT SYSTEM1 Roger C. Conant Department of Information Engineering, University of Illinois, Box 4348, Chicago,

Add to Reading List

Source URL: cleamc11.vub.ac.be

Language: English - Date: 2014-05-02 12:20:11
97Dynamical system / Systems / Systems theory / State space / Spectral theory / Spectral theory of ordinary differential equations / Μ operator / Mathematical analysis / Mathematics / Operator theory

On Time: Clocks, Chronometers, and Open-Loop Control Steven M. LaValle [removed] Department of Computer Science University of Illinois Urbana, IL[removed]USA

Add to Reading List

Source URL: msl.cs.uiuc.edu

Language: English - Date: 2007-09-10 10:03:01
98Convex function / Function / Convex optimization / Mathematical optimization / Μ operator / Spectral theory of ordinary differential equations / Mathematical analysis / Mathematics / Convex analysis

[removed] ■ Gradient methods for minimizing composite objective function Yu. Nesterov

Add to Reading List

Source URL: www.uclouvain.be

Language: English - Date: 2014-02-10 17:16:30
99Functional analysis / Generalized functions / Constructible universe / Distribution / Function / Pullback / Vector space / Linear temporal logic / Μ operator / Mathematics / Algebra / Mathematical analysis

Pseudo-MDPs and Factored Linear Action Models ´ Hengshuai Yao, Csaba Szepesv´ari, Bernardo Avila Pires Xinhua Zhang

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2014-10-11 02:37:07
100Thermodynamics / Divergence / Symbol / Jensen–Shannon divergence / Μ operator / Statistics / Kullback–Leibler divergence / Statistical theory

Generalised Pinsker Inequalities

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2009-05-28 05:03:53
UPDATE